Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
171	BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany. Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 09:26:23 Mathematics Computer arithmetic Mathematical logic Theory of computation Numerical analysis Arithmetic Interval arithmetic Interval Constructible universe Ordinal number NC Machine epsilon
172	Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Wellfoundedness Mathematical logic Mathematics Constructible universe Proof theory Logic Ordinal numbers CurryHoward correspondence Conjugate element
173	Microsoft Word - IBSdoc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:44:10 Theoretical computer science Mathematical logic Mathematics Logic in computer science NP-complete problems Boolean algebra Electronic design automation Algebraic logic Tseytin transformation Boolean satisfiability problem Conjunctive normal form Canonical normal form
174	On Induction Principles C. Verhoef Programming Research Group University of Amsterdam KruislaanSJ Amsterdam Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:28:59 Mathematics Theoretical computer science Mathematical analysis Operator theory Computability theory Automated theorem proving Logic programming Type theory Unification operator Spectral theory of ordinary differential equations
175	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
176	DRAFT – TO APPEAR AT ICFPFully Abstract Compilation via Universal Embedding ∗ Max S. New William J. Bowman Add to Reading List Source URL: www.williamjbowman.com Language: English - Date: 2016-08-20 09:03:03 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Theoretical computer science Mathematical logic Differential topology Generalised Whitehead product Orbifold
177	Unexpected Inconsistency The Problem Logic: Between Semantics and Proof Theory Tel-Aviv, 1-2 November 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-11-12 12:31:46 Logic Non-classical logic Philosophy Belief revision Paraconsistent logic Philosophical logic Mathematical logic Adaptive behavior
178	RLFI A REDUCE LATEX Formula Interface VersionRichard Liska, Ladislav Drska Computational Physics Group Faculty of Nuclear Sciences and Physical Engineering Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:39 Mathematics Software Typography Elementary mathematics Typesetting Syntax Mathematical logic LaTeX TeX Expression Tilde Symbolic computation
179	InfoTraffic – Teaching Important Concepts of Computer Science and Math through Real-World Examples Ruedi Arnold Marc Langheinrich Add to Reading List Source URL: ruedi-arnold.com Language: English - Date: 2011-12-23 03:25:33 Logic Philosophy Mathematical logic Semantics Abstraction Formal sciences Operations research Educational psychology Educational technology False Propositional calculus Concept
180	Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-04-03 05:11:01 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Philosophical logic Non-classical logic Sequent First-order logic Quantifier Skolem normal form

UPDATE